Un automate à pile est une généralisation des automates finis : il dispose en plus d`une mémoire infinie organisée en pile ( ou LIFO). Un automate à pile prend en entrée un mot et réalise une série de transitions. Il fait une transition pour chaque lettre du mot, dépendant de la lettre,...